- арифметика порядковых типов
- arithmetic of order types
Русско-английский научно-технический словарь Масловского. 2015.
арифметика порядковых типов
Look at other dictionaries:
ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… … Философская энциклопедия
Символ рубля — Сочетание букв «р» и «у» в скорописи по книге «Русская палеография»[1] Си … Википедия
АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… … Математическая энциклопедия
